Packed Input Vector Simulation with the Inversion Algorithm

The Inversion Algorithm is an event driven algorithm whose performance meets or exceeds that of traditional compiled-code simulators. However, existing implementations of the algorithm do not allow several vectors to be packed into a single word, thus limiting the power of the algorithm. Because the Inversion Algorithm does not represent net values in the conventional way, the simple packing techniques used with other algorithms cannot be used with the Inversion Algorithm. This paper presents a novel technique for performing simultaneous simulation of several input vectors on a conventional uniprocessor. As with conventional vector-packing techniques, this technique is able to assign a different input vector to each bit of a word, permitting the simultaneous simulation of n vectors, where n is the number of bits in a word. * This work was supported in part by the National Science Foundation under grant number MIP-9403414.